using System;
using System.IO;
using Microsoft.Pex.Framework;
using Covana.ProblemExtractor;
using Covana.ResultTrackingExtrator;

namespace Benchmarks
{
    [PexClass(typeof (ExceptionInExternalTest))]
    [BoundaryProblemObserver]
    [ResultTrackingObserver]
    public partial class ExceptionInExternalTest
    {
        public static string WrapSvg(string svgFileName)
        {
            StreamReader reader = new StreamReader(svgFileName);


            reader.Close();
            return null;
        }

        public static void TestPath(string path)
        {
            if (System.IO.Path.Combine(path, "quick.png") == "ok")
            {
                Console.WriteLine("hello");
            }
            else
            {
                Console.WriteLine("2");
            }
        }

        [PexMethod]
        public void TestMETHOD(string filename)
        {
            WrapSvg(filename);
        }

        [PexMethod]
        public void TestMETHOD2(string filename)
        {
            TestPath(filename);
        }
    }
}